primrec(n; b; c) == if (n = 0) then b else c((n - 1),primrec((n - 1); b; c)) fi   (recursive) 

latex

Definitions	Y, x.A(x), if b then t else f fi , (i = j), f(a), n - m, #$n
FDL editor aliases	primrec